var dir_15904b3548cff019c02c2053abfaab4f =
[
    [ "global", "dir_6a07df37e551a09cdc41e422a9c65367.html", "dir_6a07df37e551a09cdc41e422a9c65367" ],
    [ "local", "dir_04d268c49e5cb188d7aeb4710a49512b.html", "dir_04d268c49e5cb188d7aeb4710a49512b" ],
    [ "normal_estimator.h", "normal__estimator_8h_source.html", null ]
];